Non-determinism in the Uptake of Gestural Information

It is well established that gestures and speech form an integrated system of communication; gestures that match the meaning of the speech they accompany favor the listener's discourse comprehension, whereas mismatching gestures whose meaning conveys information contradicting that conveyed by speech, impair comprehension. A less investigated issue is whether or not the uptake of gestural information is a deterministic process. In line with recent studies in the literature, we purport that the process may be modulated by certain factors. In particular, we investigate the role of unrelated gestures whose meaning, which is irrelevant to the speech they accompany, could be neglected. The results of four experiments led us to conclude that unrelated gestures are not processed, and that the uptake of gestural information is a non-deterministic process

A general relativistic model for the light propagation in the gravitational field of the Solar System: the dynamical case

Modern astrometry is based on angular measurements at the micro-arcsecond level. At this accuracy a fully general relativistic treatment of the data reduction is required. This paper concludes a series of articles dedicated to the problem of relativistic light propagation, presenting the final microarcsecond version of a relativistic astrometric model which enable us to trace back the light path to its emitting source throughout the non-stationary gravity field of the moving bodies in the Solar System. The previous model is used as test-bed for numerical comparisons to the present one. Here we also test different versions of the computer code implementing the model at different levels of complexity to start exploring the best trade-off between numerical efficiency and the micro-arcsecond accuracy needed to be reached.Comment: 40 pages, 5 figures. Accepted for publication on The Astrophysical Journal. Manuscript prepared with AASLaTeX macros v.5.

Experimental demonstration of ship target detection in GNSS-based passive radar combining target motion compensation and track-before-detect strategies

This work discusses methods and experimental results on passive radar detection of moving ships using navigation satellites as transmitters of opportunity. The reported study highlights as the adoption of proper strategies combining target motion compensation and track-before-detect methods to achieve long time integration can be fruitfully exploited in GNSS-based passive radar for the detection of maritime targets. The proposed detection strategy reduces the sensitivity of long-time integration methods to the adopted motion models and can save the computational complexity, making it appealing for real-time implementations. Experimental results obtained in three different scenarios (port operations, navigation in open area, and river shipping) comprising maritime targets belonging to different classes show as this combined approach can be employed with success in several operative scenarios of practical interest for this technology

Comparative study of design: application to Engineering Design

A recent exploratory study examines design processes across domains and compares them. This is achieved through a series of interdisciplinary, participative workshops. A systematic framework is used to collect data from expert witnesses who are practising designers across domains from engineering through architecture to product design and fashion, including film production, pharmaceutical drugs, food, packaging, graphics and multimedia and software. Similarities and differences across domains are described which indicate the types of comparative analysis we have been able to do from our data. The paper goes further and speculates on possible lessons for selected areas of engineering design which can be drawn from comparison with processes in other domains. As such this comparative design study offers the potential for improving engineering design processes. More generally it is a first step in creating a discipline of comparative design which aims to provide a new rich picture of design processes

Testing general relativity by micro-arcsecond global astrometry

The global astrometric observations of a GAIA-like satellite were modeled within the PPN formulation of Post-Newtonian gravitation. An extensive experimental campaign based on realistic end-to-end simulations was conducted to establish the sensitivity of global astrometry to the PPN parameter \gamma, which measures the amount of space curvature produced by unit rest mass. The results show that, with just a few thousands of relatively bright, photometrically stable, and astrometrically well behaved single stars, among the ~10^9 objects that will be observed by GAIA, \gamma can be estimated after 1 year of continuous observations with an accuracy of ~10^{-5} at the 3\sigma level. Extrapolation to the full 5-year mission of these results based on the scaling properties of the adjustment procedure utilized suggests that the accuracy of \simeq 2x10^{-7}, at the same 3\sigma level, can be reached with \~10^6 single stars, again chosen as the most astrometrically stable among the millions available in the magnitude range V=12-13. These accuracies compare quite favorably with recent findings of scalar-tensor cosmological models, which predict for \gamma a present-time deviation, |1-\gamma|, from the General Relativity value between 10^{-5} and 10^{-7}.Comment: 7 pages, 2 figures, to be published in A&

Linearity in the non-deterministic call-by-value setting

We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such formalisms. After proving the subject reduction and the strong normalisation properties, we propose a translation of this calculus into the System F with pairs, which corresponds to a non linear fragment of linear logic. The translation provides a deeper understanding of the linearity in our setting.Comment: 15 pages. To appear in WoLLIC 201

The GSC-II-based survey of ancient cool white dwarfs I. The sample of spectroscopically confirmed WDs

The GSC-II white dwarf survey was designed to identify faint and high proper motion objects, which we used to define a new and independent sample of cool white dwarfs. With this survey we aim to derive new constraints on the halo white dwarf space density. Also, these data can provide information on the age of thick disk and halo through the analysis of the luminosity function. On the basis of astrometric and photometric parameters, we selected candidates with mu > 0.28 as/yr and R_F > 16 in an area of 1150 square degrees. Then, we separated white dwarfs from late type dwarfs and subdwarfs by means of the reduced proper motion diagram. Finally, spectroscopic follow-up observations were carried out to confirm the white dwarf nature of the selected candidates. We found 41 white dwarfs of which 24 are new discoveries. Here we present the full sample and for each object provide positions, absolute proper motions, photometry, and spectroscopy.Comment: 14 pages, 7 figures, submitted to A&

Call-by-value non-determinism in a linear logic type discipline

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction